#Density : 7572409697721778161646653881/16000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 11, 13, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 16980286001285223118284663/125000000000000000000000000 0/1 -18311646441342267894608717/250000000000000000000000000 -1165182045634597794093987/62500000000000000000000000 -11497618165225597693876809/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 -18311646441342267894608717/250000000000000000000000000 0/1 42441950507837138480933817/500000000000000000000000000 -411082371366192375359401/20000000000000000000000000 -3162397145937884839925187/500000000000000000000000000
0/1 -1165182045634597794093987/62500000000000000000000000 0/1 -411082371366192375359401/20000000000000000000000000 89478353633958295405322593/500000000000000000000000000 -5070578379447294142877749/62500000000000000000000000
0/1 -11497618165225597693876809/500000000000000000000000000 0/1 -3162397145937884839925187/500000000000000000000000000 -5070578379447294142877749/62500000000000000000000000 896515759555513976512473/7812500000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 5478582109504164699305921/62500000000000000000000000 0/1 -49372056693578189803202243/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -49372056693578189803202243/500000000000000000000000000 0/1 195594765078402988362443651/1000000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 119161994752729896288375469/1000000000000000000000000000 -34159219970214780835155273/500000000000000000000000000
0/1 0/1 -34159219970214780835155273/500000000000000000000000000 21069493526936076636579309/250000000000000000000000000


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
126292962684604462632695957/1000000000000000000000000000 -1331387431011222240671319/50000000000000000000000000 -25887234394070459106319/976562500000000000000000
-1331387431011222240671319/50000000000000000000000000 28909876239464561856611127/1000000000000000000000000000 -9432737579799956315912931/500000000000000000000000000
-25887234394070459106319/976562500000000000000000 -9432737579799956315912931/500000000000000000000000000 2928519041899313365462713/50000000000000000000000000


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
2045397/40000000


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 121029/1953125


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
4071941049920312793490169623/500000000000000000000000000 -1619063216053891296763882989/500000000000000000000000000 253101312288128600210158453/250000000000000000000000000 45421042384269498583346781/250000000000000000000000000 -793089707112714936009195717/125000000000000000000000000 1195011788470846614616608983/500000000000000000000000000 268489954296139195591145287/125000000000000000000000000 359588069364939815285306867/1000000000000000000000000000 -902806194761712897974563309/500000000000000000000000000 88751570951199257390248229/125000000000000000000000000 -5650018368454430333219087897/1000000000000000000000000000 479178432901399980625089863/250000000000000000000000000
-1619063216053891296763882989/500000000000000000000000000 51501053977784264553405461/40000000000000000000000000 -402547109240392598447843791/1000000000000000000000000000 -4515017454039447165607201/62500000000000000000000000 2522752379909389579346012051/1000000000000000000000000000 -950308270507466108978257001/1000000000000000000000000000 -427022105186630828304412049/500000000000000000000000000 -35744366020008739717872719/250000000000000000000000000 717937850365261913484941229/1000000000000000000000000000 -282311362999055004537607299/1000000000000000000000000000 2246529799260347635791036279/1000000000000000000000000000 -762113367020069971496323743/1000000000000000000000000000
253101312288128600210158453/250000000000000000000000000 -402547109240392598447843791/1000000000000000000000000000 125856977783558921719347147/1000000000000000000000000000 11293017900859356025045303/500000000000000000000000000 -394371221334579982757128703/500000000000000000000000000 297115355024767312559116553/1000000000000000000000000000 267018248184515414131943453/1000000000000000000000000000 11175531305338438053843411/250000000000000000000000000 -56116095577510708005943091/250000000000000000000000000 44132541990822037868006473/500000000000000000000000000 -140476204965578660942954877/200000000000000000000000000 238275925441158945920537309/1000000000000000000000000000
45421042384269498583346781/250000000000000000000000000 -4515017454039447165607201/62500000000000000000000000 11293017900859356025045303/500000000000000000000000000 601899575676910356722293651/500000000000000000000000000 -141546101198315945257639309/1000000000000000000000000000 -3050516586460289805743/12500000000000000000000000 -99309476408954735689388227/1000000000000000000000000000 -1644731138131234286469733/6250000000000000000000000 -96331192770121967419198197/200000000000000000000000000 -303820405167962860427151903/1000000000000000000000000000 -80759950519200742125992227/500000000000000000000000000 24531588032677716846933089/500000000000000000000000000
-793089707112714936009195717/125000000000000000000000000 2522752379909389579346012051/1000000000000000000000000000 -394371221334579982757128703/500000000000000000000000000 -141546101198315945257639309/1000000000000000000000000000 988605720276530961778012607/200000000000000000000000000 -372402856184539179578458051/200000000000000000000000000 -1673396479826425080928859007/1000000000000000000000000000 -140073538600811166925583513/500000000000000000000000000 1406712507591477777909121177/1000000000000000000000000000 -553155021416465065412250429/1000000000000000000000000000 880360763176477176451944993/200000000000000000000000000 -14932690953794063166793337/10000000000000000000000000
1195011788470846614616608983/500000000000000000000000000 -950308270507466108978257001/1000000000000000000000000000 297115355024767312559116553/1000000000000000000000000000 -3050516586460289805743/12500000000000000000000000 -372402856184539179578458051/200000000000000000000000000 938896125442574109315834997/250000000000000000000000000 144592863443136405122365979/1000000000000000000000000000 -583029616544174706523240151/1000000000000000000000000000 -656460007947613180466135757/1000000000000000000000000000 -24393491425764963702000399/250000000000000000000000000 -342186064298013112432551499/200000000000000000000000000 229748802584789755228602669/1000000000000000000000000000
268489954296139195591145287/125000000000000000000000000 -427022105186630828304412049/500000000000000000000000000 267018248184515414131943453/1000000000000000000000000000 -99309476408954735689388227/1000000000000000000000000000 -1673396479826425080928859007/1000000000000000000000000000 144592863443136405122365979/1000000000000000000000000000 661580694674670449724450559/200000000000000000000000000 -186917905929322003904002457/1000000000000000000000000000 -110204394156555911178042611/200000000000000000000000000 -4954609425357617597373277/500000000000000000000000000 -1695289697236245706688889681/1000000000000000000000000000 -183259484482184454409156221/1000000000000000000000000000
359588069364939815285306867/1000000000000000000000000000 -35744366020008739717872719/250000000000000000000000000 11175531305338438053843411/250000000000000000000000000 -1644731138131234286469733/6250000000000000000000000 -140073538600811166925583513/500000000000000000000000000 -583029616544174706523240151/1000000000000000000000000000 -186917905929322003904002457/1000000000000000000000000000 1828329448839392580678286793/500000000000000000000000000 -11421372811685697162910497/125000000000000000000000000 -9621531922544149227009521/125000000000000000000000000 -433183425126827983748663007/1000000000000000000000000000 -832511985902945058824178897/1000000000000000000000000000
-902806194761712897974563309/500000000000000000000000000 717937850365261913484941229/1000000000000000000000000000 -56116095577510708005943091/250000000000000000000000000 -96331192770121967419198197/200000000000000000000000000 1406712507591477777909121177/1000000000000000000000000000 -656460007947613180466135757/1000000000000000000000000000 -110204394156555911178042611/200000000000000000000000000 -11421372811685697162910497/125000000000000000000000000 1541842876090005626444004927/1000000000000000000000000000 -512685997742294307066343249/1000000000000000000000000000 1211379198766086093105636947/1000000000000000000000000000 -15500067644825765565086553/25000000000000000000000000
88751570951199257390248229/125000000000000000000000000 -282311362999055004537607299/1000000000000000000000000000 44132541990822037868006473/500000000000000000000000000 -303820405167962860427151903/1000000000000000000000000000 -553155021416465065412250429/1000000000000000000000000000 -24393491425764963702000399/250000000000000000000000000 -4954609425357617597373277/500000000000000000000000000 -9621531922544149227009521/125000000000000000000000000 -512685997742294307066343249/1000000000000000000000000000 990485319557336844428636533/500000000000000000000000000 -502944421890663901618389147/1000000000000000000000000000 -57811775580582733178099153/500000000000000000000000000
-5650018368454430333219087897/1000000000000000000000000000 2246529799260347635791036279/1000000000000000000000000000 -140476204965578660942954877/200000000000000000000000000 -80759950519200742125992227/500000000000000000000000000 880360763176477176451944993/200000000000000000000000000 -342186064298013112432551499/200000000000000000000000000 -1695289697236245706688889681/1000000000000000000000000000 -433183425126827983748663007/1000000000000000000000000000 1211379198766086093105636947/1000000000000000000000000000 -502944421890663901618389147/1000000000000000000000000000 1096301622369739350058279433/250000000000000000000000000 -1346569898380283651799526163/1000000000000000000000000000
479178432901399980625089863/250000000000000000000000000 -762113367020069971496323743/1000000000000000000000000000 238275925441158945920537309/1000000000000000000000000000 24531588032677716846933089/500000000000000000000000000 -14932690953794063166793337/10000000000000000000000000 229748802584789755228602669/1000000000000000000000000000 -183259484482184454409156221/1000000000000000000000000000 -832511985902945058824178897/1000000000000000000000000000 -15500067644825765565086553/25000000000000000000000000 -57811775580582733178099153/500000000000000000000000000 -1346569898380283651799526163/1000000000000000000000000000 3920921574868621088338240327/1000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
584390177153596719272473201/1000000000000000000000000000 49486692182498498925760863/500000000000000000000000000 221619607539894094977476403/1000000000000000000000000000 -89167288559002489927924707/500000000000000000000000000
49486692182498498925760863/500000000000000000000000000 284410606459236493665870593/125000000000000000000000000 -21234498791567361699817861/500000000000000000000000000 2694959627834049473258673/10000000000000000000000000
221619607539894094977476403/1000000000000000000000000000 -21234498791567361699817861/500000000000000000000000000 2564571164269808401213056469/1000000000000000000000000000 -46540991710731795571242861/500000000000000000000000000
-89167288559002489927924707/500000000000000000000000000 2694959627834049473258673/10000000000000000000000000 -46540991710731795571242861/500000000000000000000000000 1346530860965846782579673877/250000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
2870588279217259120302599727/1000000000000000000000000000 -36427903370462882599790957/1000000000000000000000000000 -44075886558870474824535271/125000000000000000000000000 23204220113631711565952813/100000000000000000000000000 -339778760358323669328847/4000000000000000000000000 -26804575355171731081346843/500000000000000000000000000 -57842783205107330590514017/250000000000000000000000000 -60803105946975779620280999/200000000000000000000000000 -155417345952122087955280877/500000000000000000000000000 -1050970026075538195131959939/1000000000000000000000000000
-36427903370462882599790957/1000000000000000000000000000 472760723984697851064715051/250000000000000000000000000 265741257148407356933144547/1000000000000000000000000000 -383881089582780071817442983/500000000000000000000000000 -23525583441331532379873153/125000000000000000000000000 -96452347649838466350788109/500000000000000000000000000 -20617409387880518770486943/1000000000000000000000000000 -38481166678427349028699419/125000000000000000000000000 -466294795648821446178987033/1000000000000000000000000000 -2412354798451839091924209/12500000000000000000000000
-44075886558870474824535271/125000000000000000000000000 265741257148407356933144547/1000000000000000000000000000 934470911373737181527037113/500000000000000000000000000 -255203803826599579018633901/500000000000000000000000000 -25297065219379840272168587/1000000000000000000000000000 -32310859978377076319929469/200000000000000000000000000 110043039845283050126160997/500000000000000000000000000 -714635540424802200762168313/1000000000000000000000000000 -72860896124757231926156393/200000000000000000000000000 -75396708182509293203371691/1000000000000000000000000000
23204220113631711565952813/100000000000000000000000000 -383881089582780071817442983/500000000000000000000000000 -255203803826599579018633901/500000000000000000000000000 1694950157120054642480040401/1000000000000000000000000000 -165133698629643110310257619/1000000000000000000000000000 9430665886836460625455623/500000000000000000000000000 -257856792262846775052033079/500000000000000000000000000 256957734532856374291388093/1000000000000000000000000000 18860437512539245148433467/500000000000000000000000000 -111574553760745487153761663/250000000000000000000000000
-339778760358323669328847/4000000000000000000000000 -23525583441331532379873153/125000000000000000000000000 -25297065219379840272168587/1000000000000000000000000000 -165133698629643110310257619/1000000000000000000000000000 469204244597653647445122393/250000000000000000000000000 -172906055147075508765127029/1000000000000000000000000000 -161502040797277742693533293/1000000000000000000000000000 -146956937567891716006265687/1000000000000000000000000000 -147650394570202200898227779/500000000000000000000000000 -30385275829087890137702339/500000000000000000000000000
-26804575355171731081346843/500000000000000000000000000 -96452347649838466350788109/500000000000000000000000000 -32310859978377076319929469/200000000000000000000000000 9430665886836460625455623/500000000000000000000000000 -172906055147075508765127029/1000000000000000000000000000 659286435143773013498159099/500000000000000000000000000 -6319835842460829063662807/15625000000000000000000000 -12843618844196154458358249/125000000000000000000000000 -59519677981405397971521027/500000000000000000000000000 -34823700610104553320058539/200000000000000000000000000
-57842783205107330590514017/250000000000000000000000000 -20617409387880518770486943/1000000000000000000000000000 110043039845283050126160997/500000000000000000000000000 -257856792262846775052033079/500000000000000000000000000 -161502040797277742693533293/1000000000000000000000000000 -6319835842460829063662807/15625000000000000000000000 1620312864065554931365404061/1000000000000000000000000000 -219250808014837120344510603/1000000000000000000000000000 -304416241449759470982574593/1000000000000000000000000000 67674526381410189459635533/500000000000000000000000000
-60803105946975779620280999/200000000000000000000000000 -38481166678427349028699419/125000000000000000000000000 -714635540424802200762168313/1000000000000000000000000000 256957734532856374291388093/1000000000000000000000000000 -146956937567891716006265687/1000000000000000000000000000 -12843618844196154458358249/125000000000000000000000000 -219250808014837120344510603/1000000000000000000000000000 114773743465562223037999779/62500000000000000000000000 24792656515081474312675327/500000000000000000000000000 -129767545295769104322601589/500000000000000000000000000
-155417345952122087955280877/500000000000000000000000000 -466294795648821446178987033/1000000000000000000000000000 -72860896124757231926156393/200000000000000000000000000 18860437512539245148433467/500000000000000000000000000 -147650394570202200898227779/500000000000000000000000000 -59519677981405397971521027/500000000000000000000000000 -304416241449759470982574593/1000000000000000000000000000 24792656515081474312675327/500000000000000000000000000 866679102587121918879593397/500000000000000000000000000 -1183963549300975599757217/1000000000000000000000000000
-1050970026075538195131959939/1000000000000000000000000000 -2412354798451839091924209/12500000000000000000000000 -75396708182509293203371691/1000000000000000000000000000 -111574553760745487153761663/250000000000000000000000000 -30385275829087890137702339/500000000000000000000000000 -34823700610104553320058539/200000000000000000000000000 67674526381410189459635533/500000000000000000000000000 -129767545295769104322601589/500000000000000000000000000 -1183963549300975599757217/1000000000000000000000000000 3236588228317523260381407779/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
2623043907816420402319997553/1000000000000000000000000000 -22201192025590802077587737/25000000000000000000000000 197777173631186123692632487/1000000000000000000000000000 -274887532541383145132429699/500000000000000000000000000 -21491152048101526359128211/1000000000000000000000000000 594133867113552750659630643/1000000000000000000000000000
-22201192025590802077587737/25000000000000000000000000 303119724152957944395305807/125000000000000000000000000 5914586500618385440558473/40000000000000000000000000 398619932183091170597499679/1000000000000000000000000000 185336496729754675342484607/1000000000000000000000000000 -230184845110463124540564141/1000000000000000000000000000
197777173631186123692632487/1000000000000000000000000000 5914586500618385440558473/40000000000000000000000000 3612645660607028745819500511/1000000000000000000000000000 -161658175753474124080393/1600000000000000000000000 18446429609873062023586117/100000000000000000000000000 187573233628147274684958317/500000000000000000000000000
-274887532541383145132429699/500000000000000000000000000 398619932183091170597499679/1000000000000000000000000000 -161658175753474124080393/1600000000000000000000000 1441948820641619311906144999/500000000000000000000000000 -11812107563315462750122137/125000000000000000000000000 -127540376018586460927901257/250000000000000000000000000
-21491152048101526359128211/1000000000000000000000000000 185336496729754675342484607/1000000000000000000000000000 18446429609873062023586117/100000000000000000000000000 -11812107563315462750122137/125000000000000000000000000 94272612173391868156027277/50000000000000000000000000 93031800601833943235142511/1000000000000000000000000000
594133867113552750659630643/1000000000000000000000000000 -230184845110463124540564141/1000000000000000000000000000 187573233628147274684958317/500000000000000000000000000 -127540376018586460927901257/250000000000000000000000000 93031800601833943235142511/1000000000000000000000000000 3085950755557970183027650539/1000000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
326438119869686726576956823/200000000000000000000000000 36707642268469851534246763/200000000000000000000000000 24905149852703475333738869/1000000000000000000000000000 757916434588415788536657/50000000000000000000000000 63529279025942129156296957/500000000000000000000000000 762559538136234501042707/1000000000000000000000000000 -155370121892486200442930053/125000000000000000000000000 112785440249307160587850689/1000000000000000000000000000 44928364502298093329870941/500000000000000000000000000
36707642268469851534246763/200000000000000000000000000 20638689523267895397394319/1000000000000000000000000000 2800559015399235610931477/1000000000000000000000000000 1704539023141059284069179/1000000000000000000000000000 14287609878547021901950223/1000000000000000000000000000 85749209814150936026597/1000000000000000000000000000 -27953945358659317400820189/200000000000000000000000000 2536522126922028605738579/200000000000000000000000000 10104299751356743557459727/1000000000000000000000000000
24905149852703475333738869/1000000000000000000000000000 2800559015399235610931477/1000000000000000000000000000 874839483811196380302634193/1000000000000000000000000000 -23296375429928565927552543/250000000000000000000000000 -4670448093749977773369331/100000000000000000000000000 -5423110864864152292695653/1000000000000000000000000000 -9483000941390070048150871/500000000000000000000000000 -214916084545226826738348227/1000000000000000000000000000 -46343650354479071441596187/500000000000000000000000000
757916434588415788536657/50000000000000000000000000 1704539023141059284069179/1000000000000000000000000000 -23296375429928565927552543/250000000000000000000000000 292357237108145099883206667/1000000000000000000000000000 -31788644017211664824384517/1000000000000000000000000000 -34717282901598883726125541/250000000000000000000000000 -11543511320704051018768151/1000000000000000000000000000 -62988016573680431267987257/1000000000000000000000000000 -2127244560107409511224679/100000000000000000000000000
63529279025942129156296957/500000000000000000000000000 14287609878547021901950223/1000000000000000000000000000 -4670448093749977773369331/100000000000000000000000000 -31788644017211664824384517/1000000000000000000000000000 1264403227677369216479980499/1000000000000000000000000000 -68988279232377879938268919/500000000000000000000000000 -96758815324893852859182527/1000000000000000000000000000 -122063996436936909260022593/1000000000000000000000000000 -8574627530640017234397949/25000000000000000000000000
762559538136234501042707/1000000000000000000000000000 85749209814150936026597/1000000000000000000000000000 -5423110864864152292695653/1000000000000000000000000000 -34717282901598883726125541/250000000000000000000000000 -68988279232377879938268919/500000000000000000000000000 950403402456350142748612901/1000000000000000000000000000 -290355945936544851561373/500000000000000000000000000 -49196498403643841390605819/1000000000000000000000000000 -48885878019389382264185633/250000000000000000000000000
-155370121892486200442930053/125000000000000000000000000 -27953945358659317400820189/200000000000000000000000000 -9483000941390070048150871/500000000000000000000000000 -11543511320704051018768151/1000000000000000000000000000 -96758815324893852859182527/1000000000000000000000000000 -290355945936544851561373/500000000000000000000000000 946551209360871331207441077/1000000000000000000000000000 -85889418060790048041965427/1000000000000000000000000000 -17107133087171344906069859/250000000000000000000000000
112785440249307160587850689/1000000000000000000000000000 2536522126922028605738579/200000000000000000000000000 -214916084545226826738348227/1000000000000000000000000000 -62988016573680431267987257/1000000000000000000000000000 -122063996436936909260022593/1000000000000000000000000000 -49196498403643841390605819/1000000000000000000000000000 -85889418060790048041965427/1000000000000000000000000000 413007869906329667777424013/1000000000000000000000000000 -73767496885743686314455391/1000000000000000000000000000
44928364502298093329870941/500000000000000000000000000 10104299751356743557459727/1000000000000000000000000000 -46343650354479071441596187/500000000000000000000000000 -2127244560107409511224679/100000000000000000000000000 -8574627530640017234397949/25000000000000000000000000 -48885878019389382264185633/250000000000000000000000000 -17107133087171344906069859/250000000000000000000000000 -73767496885743686314455391/1000000000000000000000000000 282346117144952777475052061/200000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
599050575073768803856959197/1000000000000000000000000000 1394591417813544343/1000000000000000000000000000 -238863380996066777811056283/1000000000000000000000000000 23886338019733838516847819/100000000000000000000000000 14928961423933227632831049/62500000000000000000000000 79441717952148598883521039/500000000000000000000000000 -376127576259140063/500000000000000000000000000
1394591417813544343/1000000000000000000000000000 1481247329079645716759376067/1000000000000000000000000000 -4094956849141668870985227/200000000000000000000000000 4094956283938806487210673/200000000000000000000000000 -20474779227209188900897801/1000000000000000000000000000 1518289646849620133/1000000000000000000000000000 -6062909572144595301731211/200000000000000000000000000
-238863380996066777811056283/1000000000000000000000000000 -4094956849141668870985227/200000000000000000000000000 699348258947429066503863501/250000000000000000000000000 -840209907738317598090339089/1000000000000000000000000000 -509252843238771388464851053/500000000000000000000000000 2365843220672677578564317/1000000000000000000000000000 46878341859483422735673847/500000000000000000000000000
23886338019733838516847819/100000000000000000000000000 4094956283938806487210673/200000000000000000000000000 -840209907738317598090339089/1000000000000000000000000000 174837064658090027260632743/62500000000000000000000000 -938677442553696939591770891/1000000000000000000000000000 -2365839210083390370143441/1000000000000000000000000000 -93756679544714256090892701/1000000000000000000000000000
14928961423933227632831049/62500000000000000000000000 -20474779227209188900897801/1000000000000000000000000000 -509252843238771388464851053/500000000000000000000000000 -938677442553696939591770891/1000000000000000000000000000 2797393033628744055178870373/1000000000000000000000000000 -147865081785411728568249/62500000000000000000000000 93756680218263334211636827/1000000000000000000000000000
79441717952148598883521039/500000000000000000000000000 1518289646849620133/1000000000000000000000000000 2365843220672677578564317/1000000000000000000000000000 -2365839210083390370143441/1000000000000000000000000000 -147865081785411728568249/62500000000000000000000000 515170099593211813634712963/250000000000000000000000000 -841713395229059957/500000000000000000000000000
-376127576259140063/500000000000000000000000000 -6062909572144595301731211/200000000000000000000000000 46878341859483422735673847/500000000000000000000000000 -93756679544714256090892701/1000000000000000000000000000 93756680218263334211636827/1000000000000000000000000000 -841713395229059957/500000000000000000000000000 962151277093451141160615723/1000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
496754455088459667312099633/200000000000000000000000000 -158795803703983094124698963/1000000000000000000000000000 -98845072564548441806114729/500000000000000000000000000 18231716770219159319746659/1000000000000000000000000000 -468081415031714622571502813/1000000000000000000000000000 -248932241881634508561699987/1000000000000000000000000000 967933871989141350197539/31250000000000000000000000 -113811055664237144106884887/500000000000000000000000000 -102770759604319288833092899/1000000000000000000000000000 30427860365141889393110359/1000000000000000000000000000 -61157054250320457480040809/200000000000000000000000000 -60158472021354752526065781/500000000000000000000000000
-158795803703983094124698963/1000000000000000000000000000 1854578796210333521803948281/500000000000000000000000000 -91199131524755232616467077/250000000000000000000000000 -16190429226139000861211447/250000000000000000000000000 -269821962249000119818278369/500000000000000000000000000 -413976847993267471603046491/1000000000000000000000000000 8799220577757083542375401/200000000000000000000000000 -2529570756489355728477583/250000000000000000000000000 -90538867115785701432866413/1000000000000000000000000000 35593119622270112583597099/1000000000000000000000000000 -364947945684094221718559403/1000000000000000000000000000 -410391207346700861451369137/1000000000000000000000000000
-98845072564548441806114729/500000000000000000000000000 -91199131524755232616467077/250000000000000000000000000 1991974004214186975504125249/1000000000000000000000000000 -29451564833376921532885571/100000000000000000000000000 -48564872891305410227703511/1000000000000000000000000000 -33105144485913470477159007/1000000000000000000000000000 75601681544422295859147089/1000000000000000000000000000 120200339519095930274082239/1000000000000000000000000000 -62240955826206276540487393/250000000000000000000000000 -74393276873025001517697193/250000000000000000000000000 -92787095569747673437732149/500000000000000000000000000 -22956266577445210053871583/250000000000000000000000000
18231716770219159319746659/1000000000000000000000000000 -16190429226139000861211447/250000000000000000000000000 -29451564833376921532885571/100000000000000000000000000 128829767324282701582340253/100000000000000000000000000 -22495422691925576397429779/100000000000000000000000000 11441260184945082755531379/500000000000000000000000000 -71742489272798702484991561/500000000000000000000000000 -188065249997186092120794621/1000000000000000000000000000 -185245732512692601903772933/500000000000000000000000000 -11799225503371687386437167/100000000000000000000000000 -55324395829697164601468163/1000000000000000000000000000 87330775957176093242181271/500000000000000000000000000
-468081415031714622571502813/1000000000000000000000000000 -269821962249000119818278369/500000000000000000000000000 -48564872891305410227703511/1000000000000000000000000000 -22495422691925576397429779/100000000000000000000000000 3384053851317487037379707531/1000000000000000000000000000 -69768729607896211211509537/200000000000000000000000000 3190283934732498811744453/50000000000000000000000000 -4143049684684943719465303/20000000000000000000000000 914061763229808676905287/100000000000000000000000000 -192179728071159534666247/250000000000000000000000000 -47705618392635743781266649/200000000000000000000000000 -80897441693196405991930881/500000000000000000000000000
-248932241881634508561699987/1000000000000000000000000000 -413976847993267471603046491/1000000000000000000000000000 -33105144485913470477159007/1000000000000000000000000000 11441260184945082755531379/500000000000000000000000000 -69768729607896211211509537/200000000000000000000000000 250010192472528122054763407/200000000000000000000000000 -60529817977930285755718103/250000000000000000000000000 -68565101559039966309242301/250000000000000000000000000 -21414174956930029244021443/200000000000000000000000000 -25095974079050100576180663/1000000000000000000000000000 -142290968513811230539784831/1000000000000000000000000000 131467693079014685135194841/500000000000000000000000000
967933871989141350197539/31250000000000000000000000 8799220577757083542375401/200000000000000000000000000 75601681544422295859147089/1000000000000000000000000000 -71742489272798702484991561/500000000000000000000000000 3190283934732498811744453/50000000000000000000000000 -60529817977930285755718103/250000000000000000000000000 47765765258179775384547297/100000000000000000000000000 466288481299131555423619/2500000000000000000000000 13678113011569299797269699/100000000000000000000000000 -60757957380904216965005403/1000000000000000000000000000 -32607662472543304661220277/500000000000000000000000000 -8133426693877702626193473/15625000000000000000000000
-113811055664237144106884887/500000000000000000000000000 -2529570756489355728477583/250000000000000000000000000 120200339519095930274082239/1000000000000000000000000000 -188065249997186092120794621/1000000000000000000000000000 -4143049684684943719465303/20000000000000000000000000 -68565101559039966309242301/250000000000000000000000000 466288481299131555423619/2500000000000000000000000 760803761254922986516542231/500000000000000000000000000 65425911426128536177182379/500000000000000000000000000 -95411571082741983713977769/500000000000000000000000000 -101958799573102584100167861/250000000000000000000000000 -143756485906045498225460027/250000000000000000000000000
-102770759604319288833092899/1000000000000000000000000000 -90538867115785701432866413/1000000000000000000000000000 -62240955826206276540487393/250000000000000000000000000 -185245732512692601903772933/500000000000000000000000000 914061763229808676905287/100000000000000000000000000 -21414174956930029244021443/200000000000000000000000000 13678113011569299797269699/100000000000000000000000000 65425911426128536177182379/500000000000000000000000000 621149007738809366017913/488281250000000000000000 -102907355238862177831953669/500000000000000000000000000 -125226268549929768435104433/1000000000000000000000000000 -275970927039871395019005921/1000000000000000000000000000
30427860365141889393110359/1000000000000000000000000000 35593119622270112583597099/1000000000000000000000000000 -74393276873025001517697193/250000000000000000000000000 -11799225503371687386437167/100000000000000000000000000 -192179728071159534666247/250000000000000000000000000 -25095974079050100576180663/1000000000000000000000000000 -60757957380904216965005403/1000000000000000000000000000 -95411571082741983713977769/500000000000000000000000000 -102907355238862177831953669/500000000000000000000000000 60436690280209859864530409/100000000000000000000000000 -28725729501369710725142509/1000000000000000000000000000 35734301579967728234266299/1000000000000000000000000000
-61157054250320457480040809/200000000000000000000000000 -364947945684094221718559403/1000000000000000000000000000 -92787095569747673437732149/500000000000000000000000000 -55324395829697164601468163/1000000000000000000000000000 -47705618392635743781266649/200000000000000000000000000 -142290968513811230539784831/1000000000000000000000000000 -32607662472543304661220277/500000000000000000000000000 -101958799573102584100167861/250000000000000000000000000 -125226268549929768435104433/1000000000000000000000000000 -28725729501369710725142509/1000000000000000000000000000 3118497147278555406104370883/1000000000000000000000000000 -1110140735058847096831021/7812500000000000000000000
-60158472021354752526065781/500000000000000000000000000 -410391207346700861451369137/1000000000000000000000000000 -22956266577445210053871583/250000000000000000000000000 87330775957176093242181271/500000000000000000000000000 -80897441693196405991930881/500000000000000000000000000 131467693079014685135194841/500000000000000000000000000 -8133426693877702626193473/15625000000000000000000000 -143756485906045498225460027/250000000000000000000000000 -275970927039871395019005921/1000000000000000000000000000 35734301579967728234266299/1000000000000000000000000000 -1110140735058847096831021/7812500000000000000000000 21773813224704825557594271/12500000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
1018581314871862509420443363/200000000000000000000000000 225542217688209689241322469/1000000000000000000000000000 -5233177240771752384520643/100000000000000000000000000 -533986092907851076737168401/1000000000000000000000000000
225542217688209689241322469/1000000000000000000000000000 355711978893461674641354941/125000000000000000000000000 268466621727437256283203023/1000000000000000000000000000 303354819297418049601727793/1000000000000000000000000000
-5233177240771752384520643/100000000000000000000000000 268466621727437256283203023/1000000000000000000000000000 2976943944746510759481592649/1000000000000000000000000000 1925694895165258909971003/3125000000000000000000000
-533986092907851076737168401/1000000000000000000000000000 303354819297418049601727793/1000000000000000000000000000 1925694895165258909971003/3125000000000000000000000 980333109486860421720329677/500000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1156940944538680288629508013/1000000000000000000000000000 -7917600490307544441919159/200000000000000000000000000 -18320938647695412516531179/500000000000000000000000000 -30984205489320917968730849/200000000000000000000000000 -10023177272818227949150123/250000000000000000000000000 -20519155340564348020719341/250000000000000000000000000
-7917600490307544441919159/200000000000000000000000000 82877555075563846329367271/200000000000000000000000000 -4689618990697267474341859/62500000000000000000000000 -14202650785084660347195859/200000000000000000000000000 -59628511831285601015505097/1000000000000000000000000000 -16916917527119591189707817/500000000000000000000000000
-18320938647695412516531179/500000000000000000000000000 -4689618990697267474341859/62500000000000000000000000 7106537387551509169855661/31250000000000000000000000 -223370016397198073716223/500000000000000000000000000 -8152659684695053028810909/250000000000000000000000000 -4700571536879538106959941/250000000000000000000000000
-30984205489320917968730849/200000000000000000000000000 -14202650785084660347195859/200000000000000000000000000 -223370016397198073716223/500000000000000000000000000 466589213798971039252576107/1000000000000000000000000000 -749986630349417317135823/15625000000000000000000000 -19051516556705462337665351/500000000000000000000000000
-10023177272818227949150123/250000000000000000000000000 -59628511831285601015505097/1000000000000000000000000000 -8152659684695053028810909/250000000000000000000000000 -749986630349417317135823/15625000000000000000000000 56811488142128251747646977/500000000000000000000000000 -486541663926657210948153/50000000000000000000000000
-20519155340564348020719341/250000000000000000000000000 -16916917527119591189707817/500000000000000000000000000 -4700571536879538106959941/250000000000000000000000000 -19051516556705462337665351/500000000000000000000000000 -486541663926657210948153/50000000000000000000000000 75408482798316205119212559/500000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
1074871443763496696665756393/500000000000000000000000000 -134131368318824211205116941/125000000000000000000000000 -538345971040798422191561937/1000000000000000000000000000 -15762581020122717629059699/500000000000000000000000000 31525161917301169320502827/1000000000000000000000000000 -3152516152453418745960693/100000000000000000000000000 36242951943115676757409731/1000000000000000000000000000 -16066540109255297359684907/200000000000000000000000000 -905662731074920359429907/25000000000000000000000000 29139801641563913054166823/500000000000000000000000000
-134131368318824211205116941/125000000000000000000000000 2149742889049894827033418917/1000000000000000000000000000 -420582789404874064567791/781250000000000000000000 31525161401611547995788161/1000000000000000000000000000 -7881290252361005385468007/250000000000000000000000000 31525160468099349545459959/1000000000000000000000000000 7248589759361955835420089/200000000000000000000000000 -1811325492247489814343739/50000000000000000000000000 -16066540122920221042605677/200000000000000000000000000 14569901610414238657711617/250000000000000000000000000
-538345971040798422191561937/1000000000000000000000000000 -420582789404874064567791/781250000000000000000000 2149742886568913903949267541/1000000000000000000000000000 -15762581547496962582610111/500000000000000000000000000 31525161967121206293644103/1000000000000000000000000000 31525162293468371253656013/1000000000000000000000000000 -36242949728622658886881943/1000000000000000000000000000 58279604844956011870665149/1000000000000000000000000000 58279603449045434470624539/1000000000000000000000000000 -80332700098017597376193421/1000000000000000000000000000
-15762581020122717629059699/500000000000000000000000000 31525161401611547995788161/1000000000000000000000000000 -15762581547496962582610111/500000000000000000000000000 887231732663822335727208819/500000000000000000000000000 -47784571403510729515347411/62500000000000000000000000 -252477581852808123260689037/500000000000000000000000000 -347006546027849463/500000000000000000000000000 -8145449746875764386688533/1000000000000000000000000000 4072724778508009108128589/500000000000000000000000000 -8145447574622313560627939/1000000000000000000000000000
31525161917301169320502827/1000000000000000000000000000 -7881290252361005385468007/250000000000000000000000000 31525161967121206293644103/1000000000000000000000000000 -47784571403510729515347411/62500000000000000000000000 1774463463640984720850394139/1000000000000000000000000000 -252477579806344997183665301/500000000000000000000000000 8934902857647919/10000000000000000000000000 4072725549598517971937301/500000000000000000000000000 -1018181170286188074975779/125000000000000000000000000 8145448171287289991357263/1000000000000000000000000000
-3152516152453418745960693/100000000000000000000000000 31525160468099349545459959/1000000000000000000000000000 31525162293468371253656013/1000000000000000000000000000 -252477581852808123260689037/500000000000000000000000000 -252477579806344997183665301/500000000000000000000000000 443615867254437544395474219/250000000000000000000000000 -264257679428757611/125000000000000000000000000 -8145448519699416377720951/1000000000000000000000000000 8145447421976341746771301/1000000000000000000000000000 8145449508985118166249917/1000000000000000000000000000
36242951943115676757409731/1000000000000000000000000000 7248589759361955835420089/200000000000000000000000000 -36242949728622658886881943/1000000000000000000000000000 -347006546027849463/500000000000000000000000000 8934902857647919/10000000000000000000000000 -264257679428757611/125000000000000000000000000 11651360670043190892041613/15625000000000000000000000 -310154100126127103691449/7812500000000000000000000 -124061643250768516223633/3125000000000000000000000 39699725759536092805230369/1000000000000000000000000000
-16066540109255297359684907/200000000000000000000000000 -1811325492247489814343739/50000000000000000000000000 58279604844956011870665149/1000000000000000000000000000 -8145449746875764386688533/1000000000000000000000000000 4072725549598517971937301/500000000000000000000000000 -8145448519699416377720951/1000000000000000000000000000 -310154100126127103691449/7812500000000000000000000 2384563406118159611255889/4000000000000000000000000 -2581802136871375634576661/7812500000000000000000000 -33208772209709186517834541/250000000000000000000000000
-905662731074920359429907/25000000000000000000000000 -16066540122920221042605677/200000000000000000000000000 58279603449045434470624539/1000000000000000000000000000 4072724778508009108128589/500000000000000000000000000 -1018181170286188074975779/125000000000000000000000000 8145447421976341746771301/1000000000000000000000000000 -124061643250768516223633/3125000000000000000000000 -2581802136871375634576661/7812500000000000000000000 119228170377960121270581389/200000000000000000000000000 -33208772512784927081000747/250000000000000000000000000
29139801641563913054166823/500000000000000000000000000 14569901610414238657711617/250000000000000000000000000 -80332700098017597376193421/1000000000000000000000000000 -8145447574622313560627939/1000000000000000000000000000 8145448171287289991357263/1000000000000000000000000000 8145449508985118166249917/1000000000000000000000000000 39699725759536092805230369/1000000000000000000000000000 -33208772209709186517834541/250000000000000000000000000 -33208772512784927081000747/250000000000000000000000000 149035212952290529903268583/250000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
236637802114383039337080531/500000000000000000000000000 -870201569649994245943797531/1000000000000000000000000000 11505503932901516253034533/125000000000000000000000000 1051280248625275569664981923/1000000000000000000000000000 13383760281486616635992043/100000000000000000000000000 -49784694947654449178843337/500000000000000000000000000
-870201569649994245943797531/1000000000000000000000000000 80001035871614810912765741/50000000000000000000000000 -84619680293621246582597937/500000000000000000000000000 -966483074895144944354218851/500000000000000000000000000 -246084291804935506548257469/1000000000000000000000000000 9153803642445761412994769/50000000000000000000000000
11505503932901516253034533/125000000000000000000000000 -84619680293621246582597937/500000000000000000000000000 217581430546871587021148039/1000000000000000000000000000 102228037254076940735648363/500000000000000000000000000 -62462402706630062155189401/1000000000000000000000000000 -92682867374953791391226153/1000000000000000000000000000
1051280248625275569664981923/1000000000000000000000000000 -966483074895144944354218851/500000000000000000000000000 102228037254076940735648363/500000000000000000000000000 1167596799068696697987338351/500000000000000000000000000 297291529401466076096375987/1000000000000000000000000000 -27646505433501028719409311/125000000000000000000000000
13383760281486616635992043/100000000000000000000000000 -246084291804935506548257469/1000000000000000000000000000 -62462402706630062155189401/1000000000000000000000000000 297291529401466076096375987/1000000000000000000000000000 340099126003563733148778491/1000000000000000000000000000 -147057555796096205945990543/1000000000000000000000000000
-49784694947654449178843337/500000000000000000000000000 9153803642445761412994769/50000000000000000000000000 -92682867374953791391226153/1000000000000000000000000000 -27646505433501028719409311/125000000000000000000000000 -147057555796096205945990543/1000000000000000000000000000 1090258196574497882880845519/1000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
2815751329847394474099726009/1000000000000000000000000000 -2689440037631579546268190859/1000000000000000000000000000 -15788911560886419011944761/250000000000000000000000000 -11936072607109322428121003/1000000000000000000000000000 5968037728204131580354519/500000000000000000000000000 -11936075773885305085361571/1000000000000000000000000000 19263887843393859601685563/200000000000000000000000000 -325364810750050895543515891/500000000000000000000000000 110467180394449069934751541/200000000000000000000000000 49196862302229785412253313/1000000000000000000000000000
-2689440037631579546268190859/1000000000000000000000000000 281575133337485371901267191/100000000000000000000000000 -63155647149244449769379833/1000000000000000000000000000 5968036694974459240191609/500000000000000000000000000 -11936076638408367792735533/1000000000000000000000000000 11936075823097209526850231/1000000000000000000000000000 96319432493081382579724947/1000000000000000000000000000 138083974790481633102909627/250000000000000000000000000 -162682406173749707598213247/250000000000000000000000000 2459842997400745328266879/50000000000000000000000000
-15788911560886419011944761/250000000000000000000000000 -63155647149244449769379833/1000000000000000000000000000 2815751330161764693494974649/1000000000000000000000000000 -11936071561630168216849311/1000000000000000000000000000 5968035619170552882614179/500000000000000000000000000 5968036805202811180880901/500000000000000000000000000 -96319434287158956902572741/1000000000000000000000000000 4919685984517279457600013/100000000000000000000000000 49196861823323484327567097/1000000000000000000000000000 -650729622467305202045688957/1000000000000000000000000000
-11936072607109322428121003/1000000000000000000000000000 5968036694974459240191609/500000000000000000000000000 -11936071561630168216849311/1000000000000000000000000000 167854208168959102062941869/100000000000000000000000000 -648453571041078332983601481/1000000000000000000000000000 -515044255963440596516339761/1000000000000000000000000000 1866720139889494921/1000000000000000000000000000 -8341168206486082207826383/250000000000000000000000000 3336467364419968128652139/100000000000000000000000000 -16682335032905135314181741/500000000000000000000000000
5968037728204131580354519/500000000000000000000000000 -11936076638408367792735533/1000000000000000000000000000 5968035619170552882614179/500000000000000000000000000 -648453571041078332983601481/1000000000000000000000000000 839271040370243984059424573/500000000000000000000000000 -515044254949356030111289521/1000000000000000000000000000 198784395147745649/1000000000000000000000000000 33364671943149854039157501/1000000000000000000000000000 -16682336671477108994323309/500000000000000000000000000 33364671427404947225317727/1000000000000000000000000000
-11936075773885305085361571/1000000000000000000000000000 11936075823097209526850231/1000000000000000000000000000 5968036805202811180880901/500000000000000000000000000 -515044255963440596516339761/1000000000000000000000000000 -515044254949356030111289521/1000000000000000000000000000 1678542081881145250617802767/1000000000000000000000000000 -23188905541334737/15625000000000000000000000 -8341168220478748982502741/250000000000000000000000000 33364672263108309439681839/1000000000000000000000000000 33364672153903927233712427/1000000000000000000000000000
19263887843393859601685563/200000000000000000000000000 96319432493081382579724947/1000000000000000000000000000 -96319434287158956902572741/1000000000000000000000000000 1866720139889494921/1000000000000000000000000000 198784395147745649/1000000000000000000000000000 -23188905541334737/15625000000000000000000000 36724482154908386407418419/250000000000000000000000000 -75030725961367152369028317/1000000000000000000000000000 -18757680547343243054184559/250000000000000000000000000 75030723194961264531139111/1000000000000000000000000000
-325364810750050895543515891/500000000000000000000000000 138083974790481633102909627/250000000000000000000000000 4919685984517279457600013/100000000000000000000000000 -8341168206486082207826383/250000000000000000000000000 33364671943149854039157501/1000000000000000000000000000 -8341168220478748982502741/250000000000000000000000000 -75030725961367152369028317/1000000000000000000000000000 927212672382005426351484521/500000000000000000000000000 -29794732676140133962493633/31250000000000000000000000 -28156059446454282693771377/62500000000000000000000000
110467180394449069934751541/200000000000000000000000000 -162682406173749707598213247/250000000000000000000000000 49196861823323484327567097/1000000000000000000000000000 3336467364419968128652139/100000000000000000000000000 -16682336671477108994323309/500000000000000000000000000 33364672263108309439681839/1000000000000000000000000000 -18757680547343243054184559/250000000000000000000000000 -29794732676140133962493633/31250000000000000000000000 5795079208072102148869401/3125000000000000000000000 -225248474712367141454403213/500000000000000000000000000
49196862302229785412253313/1000000000000000000000000000 2459842997400745328266879/50000000000000000000000000 -650729622467305202045688957/1000000000000000000000000000 -16682335032905135314181741/500000000000000000000000000 33364671427404947225317727/1000000000000000000000000000 33364672153903927233712427/1000000000000000000000000000 75030723194961264531139111/1000000000000000000000000000 -28156059446454282693771377/62500000000000000000000000 -225248474712367141454403213/500000000000000000000000000 927212673067515683143155603/500000000000000000000000000

